Axiomatizing relativistic dynamics using formal thought experiments
نویسندگان
چکیده
Thought experiments are widely used in the informal explanation of Relativity Theories; however, they are not present explicitly in formalized versions of Relativity Theory. In this paper, we present an axiom system of Special Relativity which is able to grasp thought experiments formally and explicitly. Moreover, using these thought experiments, we can provide an explicit definition of relativistic mass based only on kinematical concepts and we can geometrically prove the Mass Increase Formula m0 = mk ·
منابع مشابه
Axiomatizing Relativistic Dynamics without Conservation Postulates
A part of relativistic dynamics (or mechanics) is axiomatized by simple and purely geometrical axioms formulated within first-order logic. A geometrical proof of the formula connecting relativistic and rest masses of bodies is presented, leading up to a geometric explanation of Einstein’s famous E = mc. The connection of our geometrical axioms and the usual axioms on the conservation of mass, m...
متن کاملشبیهسازی نسبیتی معادله ولاسوف برای انبساط پلاسما به خلاء
In this study, relativistic Vlasov simulation of plasma for expansion of collisionless plasma for into vacuum is presented. The model is based on 1+1 dimensional phase space and electrostatic approximation. For this purpose, the electron dynamics is studied by the relativistic Vlasov equation. Regardless of the ions temperature, fluid equations are used for their dynamics. The initial electro...
متن کاملWhy Do the Relativistic Masses and Momenta of Faster-than-Light Particles Decrease as their Speeds Increase?
It has recently been shown within a formal axiomatic framework using a definition of four-momentum based on the Stückelberg–Feynman–Sudarshan–Recami “switching principle” that Einstein’s relativistic dynamics is logically consistent with the existence of interacting faster-than-light inertial particles. Our results here show, using only basic natural assumptions on dynamics, that this definitio...
متن کاملExplaining the Level of Human Thought in the Parallel Civilizations Based on Formal Structure and Visual Imagination Formed in Mythical Narratives
Myth, like any other form of narrative, has an undeniable role in visual imagination based on the foundations of mythical thought. Ernst Cassirer, by recovering the fundamental principles of mythical thought, brings against them to the foundations of contemporary rational thought and defines the fundamental features of mythical thought as compared to modern rational thought. He also believes t...
متن کاملLayout Design of a Furniture Production Line Using Formal Methods
This paper experiments application of different heuristic approaches to a real facility layout problem at a furniture manufacturing company. All the models are compared using AHP, where a number of parameters of interest are employed. The experiment shows that formal layout modelling approaches can be effectively used real problems faced in industry, leading to significant improvements.
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
- Synthese
دوره 192 شماره
صفحات -
تاریخ انتشار 2015